Output: [ x in [7;7] ]