Added RealDomainSpace