[hopw_roewur_ne]

It took a bit of work to understand what was going on here though: "From this proposition it will follow, when arithmetical addition has been defined, that 1 + 1 = 2." https://en.wikipedia.org/wiki/Principia_Mathematica#/media/F...