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