3-Formals-_067-Proof