cf.Domain.insert_auxΒΆ