_{MsgOpponentRemainingShips} $forall size <- nub fleetShips

_{MsgShipLength}	#_{MsgShipsUnsunk}
#{show size}	#{show $ numberShipsOfSize sizes size}
_{MsgShipsTotal}	#{length sizes}