Modified ≈-coind.