Bounded quantification