changed dpp to constructive version