GM6: Proof?