niezbędny warunku dostatecznego zajścia zdarzenia B . Zapiszemy to, zgodnie z przyjętymi oznaczeniami, dla układu .A, -, A1, B. :<gap>. Bez większej szkody dla ogólności (bo mówić o zajściu zdarzenia A lub o niezajściu jego negacji, to tylko sprawa nomenklatury), możemy powyższą definicję nieco uprościć:<gap>. Łatwo zaś zauważyć, że w tym ostatnim wzorze definiens jest opisem eksperymentów Millowskiej wersji kanonu jedynej różnicy. Kanon ten rozumiany literalnie prowadziłby więc do wykrywania przyczyny rozumianej jako składnik niezbędny warunku dostatecznego. W odniesieniu do tak pojmowanej przyczyny można by z kolei formułować szereg kanonów (o charakterze negatywnym, tzn. dających we wniosku .P(A,, B).A ), nie będziemy ich