x ≤ val
val < x