History of Disjunction