If PNC is revisable even for necessary truths, its application to contingent truths cannot be strong...