Technical books often use seemingly nontechnical, apparently normative terms: you're marching through your dense and spidery notation, and suddenly you tread in a gob of ordinary language. Some of the most important concepts in the formal sciences are of this sort, in fact: well-behaved . "not weird; having all properties suitable for the present study; not in violation of any of the assumptions we just made". One of the big offenders, used everywhere and never defined truly, only by context. Usually "well-behaved compared to an unrestricted superset we don't want to handle right now". well-defined . "unambiguous; blessed with just one interpretation". One of the core differences between the formal sciences and other enquiry. Terminology in other fields is nowhere near as clear as this (not even ones which seem highly formalised, like Spinoza's Ethics or Wittgenstein's Tractatus or half of Spencer-Brown's Laws of Form * ). ...