Russell's substitutional theory shows that eliminating classes via propositional functions requires ...