Ignore generated documentation
First draft of a description of the algorithm
Some changes to the laws, mostly invalid

Many, perhaps most, of these changes are invalid given the algorithm
describes in algorithm.md; I'll update them now.