 Avicenna may be credited with one of the most significant reforms in the analysis of propositional forms in the Peripatetic tradition. His new catalog of subject-predicate propositions, their relations of contradiction, subalternation, and conversion, became the center of gravity of an established tradition of logic.