method m (a b)
  return a < b < a;
end;