This model allows for oneshot negotiations in the Colored Trails setting. Two allocator agents simultaneously make an offer to a responder agent, who chooses which of these offers to accept, or to reject both offers. The code allows for allocator allocator agents of different orders of theory of mind reasoning to play against one another.