Output: [ x in [40;40] ]