x === y: false
z === y: true
sym1 === sym2: false
sym1 === sym3: true
zo === y: false