Principia Mathematica is modern and insightful