Updated proofStruct and argument passing