The claim conflates computational convention with logical necessity: flipping accept/reject states p...