See:
https://archives.nd.edu/moore/moore.htm