Output: [ x in [5;5] ]