3-Formals-_092-Proof