In particular this happens if: a) a method (not the one he actually uses) satisfying the third condition is in some sense 'available' to S; or b) has a true belief satisfying the third condition such that not is 'more possible' than not.