We lay down a fundamental principle of generalization by abstraction: The existence

—