 The antecedent of (LP) would seem to be satisfied by E8, P8 and Q8. Suppose s doubted (in her thought) Q8. This alone would rationally commit s to doubting that E8 actually justifies P8. Thus Moore turns out to be non-transmissive when (LP) is in place. (Mutatis mutandis, the same explanation applies to Moore* too.) 