[proof reading search] completed DP properties