 (a) p entails q;  (b) s’s justification for p consists in s’s being in a state subjectively indistinguishable from a state in which r would be true;  (c) r is incompatible with p;  (d) r would be true if q were false. 