main =>
  S = "",            % assign an empty string to a variable
  S == "",           % check that a string is empty,
  "not empty" != "". % check that a string is not empty