 Abelard spends a great deal of effort to explore the complexities of the theory of topical inference, especially charting the precise relations among conditional sentences, arguments, and what he calls “argumentation” (roughly what follows from conceded premisses). One of the surprising results of his investigation is that he denies that a correlate of the Deduction Theorem holds, maintaining that a valid argument need not correspond to an acceptable conditional sentence, nor conversely, since the requirements on arguments and conditionals differ.