3-Formals-_069-Proof