Fixed Coℕ-coind.