A lecture on Disjunction