No revision of classical logic dissolves this contradiction without either abandoning knowledge-fact...