Introducing ontologically exotic entities requiring powerful axioms to avoid contradiction imposes a...