Output: [ x in {0}, y in {1} ]