Principia Mathematica on the Tech Tree