cf.Domain.equivalentΒΆ