Example: 1PC bound to 2PCP