3-Formals-_014-Proof