categories/basic/exact: reorder exactness characterisation
categories/basic/exact: clean up errors
general: ocd (paragraph and reference formatting)