3-Formals-_007-Proof