3-Formals-_087-Proof