Requiring occurrent propositional knowledge as a precondition for epistemic moves leads to an infini...