method m(x)
  return -4<x;
end;