Output: [ x in {2} ]