BOUNDED_VARIABLES