Output: [ x in {0} ]