  In "Object generators, relaxed sets, and a foundation for mathematics", we
introduced ``object generators'', a logical environment much more general than
set theory. Inside this we found a `relaxed' version of set theory. That paper
is focused on construction of the universal Zermillo-Fraenkel-Choice theory,
and the argument that it alone is consistent with mainstream mathematical
practice. This paper is oriented toward potential users.
  The first topic is that if the general context is not needed then there is a
simpler description of the set theory. In particular this uses only familiar
binary logic, and the resut is almost the same as na\"\i ve set theory.
  The second topic collects facts about the smallest object that is not a set
(the traditional Ordinal numbers, or ``class of all sets''). Quite a bit is
known, but it heavily involves non-binary assertion logic. For instance the
powerset of this object is the disjoint union of the bounded subobjects, and
the cofinal subobjects. However there is no function to {yes, no} that detects
this decomposition.
  The third topic illustrates how the general object-generator context enables
natural and full-precision work with categories.
