Output: [ x in {9} ]