Bounded Quanti cation with Bottom