found some counterexamples pdpa/8