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