Output: [ x in [4;4] ]