For years i had been bothered about how to more precisely formulate my ideas about fallibilism and make them consistent with the existence of noncontingent propositions.