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