The existence of a polynomial-time algorithm is a modal claim about computability, not a demonstrate...