formal DR