goto https://en.wikipedia.org/wiki/Principia_Mathematica