Output: [ x in {4} ]