Output: [ x in [1;1] ]