@xex: Delegated Proof