NP is defined via non-deterministic Turing machines whose acceptance and rejection conventions are a...