Add new file

This is the first file written in a "page" format similar to that used
on gwern.net.