The specified square must be a ship segment and not water.The rule uses indirect reasoning: if the square were water, this would lead to a contradiction. The remaining solver rules in the solver window fully explain the indirect reasoning.