The ability to simulate non-deterministic Turing machines efficiently is a feature, not a disqualifi...