Initial draft of DDP informal spec