An obvious area to check is computational complexity. For example, "Maximize" can refer to the conjecture that computation complexity classes can be separated. Occasionally there is an unexpected collapse but generally speaking the animals in the complexity zoo are genuinly distinct.