Principia Mathematica door