// reward structure
rewards
"
messages_A_needs
" [
receiveA
]
kB
& !
kA
:
1
;
endrewards