x⁡y∼y,