BUS: Buying a Legislative Card

[Aris Merchant via agora-business]

I create, and then transfer to the Library, the following promise: {

If I am the bearer of this promise, I can cash it at any time and it has no
effect.

Otherwise, the bearer can cash this promise if and only if e has
transferred me 1 legislative card in the same message.

I pay the bearer 75 coins.

}