CDN Graphs, Proof Type