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