Principia Mathematica to *56