by Luke Weinhagen
1. Decidability facilitates the defining of limits.
2. The defining of limits facilitates the discovery of full accounting.
3. The discovery of full accounting facilitates the enforcement of reciprocity.
4. The enforcement of reciprocity facilitates the suppression of parasitism.