(DIR) diagrams
 (DIR) proofs