  There is a further problem with this second formulation. We need to distinguish the possibility of believing that x is F and not F in a particular case from the possibility of disbelieving the first version of PNC in its full generality.