added docs to disjunction header