3-Formals-_068-Proof