3-Formals-_144-Proof