Created the ConcreteDomainNames library.