Output: [ x in {7} ]