3-Formals-_119-Proof