Russell's substitutional theory and the no-class theory require ramification to avoid paradoxes aris...