Function join 

pub fn join(iter: impl Iterator<Item = Certainty>) -> Certainty

Think: iter.any(/* is certain */)