bounded-quantification