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