the bounded sort is no longer automatically considered to be subsorted to Variable; Variable must be manually declared.