Started capturing invariants as reduce code.
Note to self: on list doesn't show leading minus sign, at least on
windows version :-(.