x⁡(y)∼y,