Russell's logical constructions still require interpreting symbols and formulas as representing spat...
This proposition has not been edited since the history system was added.