fix disjunctive controller