Output: [ x in {5} ]