pub fn join(iter: impl Iterator<Item = Certainty>) -> Certainty
Think: iter.any(/* is certain */)
iter.any(/* is certain */)