Changes: From psi(abs inf^abs inf^2) to psi(1, 0, 0, 0) // from I to i (i mean Indescribable cardinal not inaccsessible) // from ROMANO(10^{10, 100, 9}) to ROMANO(10^10{9}100) // the rest i cant tell because im not copy+pasting every symbol that i had replaced
