Der.... Namespace is asserted for us