add disjunction biased version, stupid conversion