Move old totality constraint definition to new verification section. Improve wording in totality constraint section.
Move old totality constraint definition to new verification section.
Improve wording in totality constraint section.

marcopennekamp/lore,marcopennekamp/lore