Proof Strategies DC Sub Page