Form1 ist nicht vielleicht, sondern ganz sicher die globale Variable von TForm1. Andernfalls würde dort die korrekte globale Variable stehen.
Das ist sicher korrekt, aber es ist eben nicht immer
Form1 = Self
! Vielleicht gilt das für deinen aktuellen Code, aber generell kann man von dieser Äquivalenz nicht ausgehen.