Editing Guarded Command Language (section)

====More guards true====
 '''if''' a ≥ b → max := a
  □ b ≥ a → max := b
 '''fi'''

If a = b, either a or b is chosen as the new value for the maximum, with equal results. However, the [[implementation]] may find that one is easier or faster than the other. Since there is no difference to the programmer, any implementation will do.