Output: [ x in {40} ]