Title: Principia Mathematica to *56