3-Formals-_164-Proof