Evaluate disjunction (yeah, two lines... low-hanging fruit)