SMS: Principia mathematica