Abstract: In this talk I will argue that the Verification Thesis (all truths are knowable) is only susceptible to Fitch’s Paradox if one conflates the de re and de dicto interpretation of knowability. A formalization shows that if one treats knowability as a complex second-order predicate, then the paradox falls apart.