Output: [ x in [2;2] ]