rename OK => Bounded