The British Natural Number Game. We develop the theory of `num` - View it on GitHub