Commented line in receive_adversary_play