0 <= x <