 Fitch’s reasoning involves quantifying into sentence position. Our propositional variables \(p\) and \(q\) will take declarative statements as substituends. Let \(K\) be the epistemic operator ‘it is known by someone at some time that.’ Let \(\Diamond\) be the modal operator ‘it is possible that’.