 (4) If any person S is inferentially justified in believing any moral claim that p, then S must be justified by an inference with either (a) no normative premises or (b) some normative premises but no moral premises or (c) some moral premises. 