Divine v144 Source Corpus
4.4 General rule
H_n(phi) = typed-coexistence of every +H_k(phi) and every -I_k(phi) for 1 <= k < n
I_n(phi) = typed-coexistence of every +I_k(phi) and every -H_k(phi) for 1 <= k < n
Source Canon: Preserved verbatim text. Interactive cross-references and cranial annotations available at /#divine-section:128.