Output: [ x in {1} ]