Grounding knowledge in evidence with a polynomial-time verifiability condition avoids the omniscienc...