theorem
  g is zero or g is positive or g is negative or g is fuzzy;
