Output: [ x in {10} ]