to bound {s}, [ bounded ; bounded ]