Program and Disjunction