(DIR) diagrams
 (DIR) proofs
 (DIR) soul
 (ARC) soul.zip