3-Formals-_018-Proof