When splitting the conjuction, Bob should only have to place $4 in escrow, since that is the most in the red that Bob could end up. (Unless someone might privately prove P&Q to collect Alice’s bounty before collecting both of Bob’s? But surely Bob first bought exclusive access to Alice’s bounty from Alice.)
When splitting the conjuction, Bob should only have to place $4 in escrow, since that is the most in the red that Bob could end up. (Unless someone might privately prove P&Q to collect Alice’s bounty before collecting both of Bob’s? But surely Bob first bought exclusive access to Alice’s bounty from Alice.)