Htaut.Theorem.Basic

syllogism

syllogism'

propagate

conditionSeperate

conditionCommute

identity

conditionAdd

dunsScotus

dunsScotus'