Y2 Proof