for H being ZF-formula st H is universal holds
H . 1 = 4