이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.