3-Formals-_071-Proof