More mathematics added to docs, just about to start on monotone games