Определить значение переменной y после выполнения следующего фрагмента программы: y: =3; for n: =1 downto 5 do y: =y+n; с объснением

Если именно n:=1 downto 5, то в итоге y=3, т.к. downto  применяется от большего и с каждым шагом n уменьшатся, тут же он увеличивается и стоит downto, цикл даже не запуститься. а если n:=5 downto 1 do y:=y+n; тогда
y:=3+5, y=8
y:=8+4, y=12
y:=12+3, y=15
y:=15+2, y=17
y:=17+1, y=18
y=18