assert : x === y