future disjunction helpers