Quelltexteinrückung

[Problemmacher]

Hallo,

wollte euch zunächst Fragen ob der Quellentext
"regelkonform" eingerückt ist, falls nicht, wieso?

Delphi-Quellcode:

k := 4 ;
  if a < k then begin a := b + 2 ;
                   
                 if a < k then b := 3
                
                 else a := b ;
                 
                 k := k * k 
                 end

  else  k := k + a ;
                
                 if  k <> 9 then a := k - a ;
                                 b := a + 2
end;

Ich habe nun zwei Fragen -> Das "k := k * k", wann wird das ausgeführt?
Es gehört nicht mehr zum else-Teil, da dort ja nicht mit "else ... then begin"
ein Anweisungsblock eingeleitet wird, sondern nur eine Anweisung, korrekt?
Heißt also dass es unabhängig von dem If-Else Teil zuvor ausgeführt wird,
also immer (insofern if a > k) oder steht das doch unter einer Abhängigkeit?)

Gleiches bei der Frage zum Schluss von "b := a + 2", da zuvor nur "then" steht,
ist es ja nur eine einzelne Anweisung, oder? Daraus würde ich dann schließen
das eben das letzte unabhängig von allem stattfindet, auch wenn k = 9 sein würde, oder nicht?

Wäre nett wenn ihr mir das Prinzip erläutern würdet falls
ich es falsch interpretiert/eingerückt habe.

Danke!