Whitehead and Russell had thought originally that Principia Mathematica would take a year to complete; it ended up taking them ten years. How prevalent is Principia Mathematica today?