Comment by lordleft

It blows my mind that Russell invented (formalized) types. Such an elemental concept, but so useful.