 The converse of Theorem 5 is trivial (since truth entails possibility), so Fitch goes most of the way toward erasing any logical difference between the existence of contingent ignorance and the existence of necessary unknowability. 