Ecosystem

Relationship to Lambda-Proof, DRMM, and Ξ-Constitution.