Is'nt this exactly the same thing as disjunction introduction?