If prophecy is constitutive rather than merely descriptive, then the counterfactual 'Peter would not...