valid: accepted
invalid x: rejected (less_than_equal)
