r3prototyping
/
protocols
/
TwoPartyTradeProtocol
/
Buyer
/
RECEIVING
RECEIVING
object
RECEIVING
:
Step