The availability of logic-based (machine-independent) characterizations of complexity classes like N...