Principia mathematica: to *56 - Whitehead, Alfred North; Russell, Bertrand (Univ. Pr., 1970)