3-Formals-_066-Proof