Example: P1Z bound to 2BXP