Added DOCUMENTED as a defining feature of DP