conversions between These and Disjunction