_{MsgYourFleet} $forall (i, humanGrid) <- humanGrids
#{humanGrid}
 

_{MsgOpponentsFleet} $forall (i, aiGrid) <- aiGrids