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