Many new theorems about hierarchical DAGs (cribbing from older approach)