Output: [ x in [9;9] ]