3-Formals-_118-Proof