Principia_Mathematica loading ...