The cumulative hierarchy

Edit and check the actual Cumulus source below. Proof execution happens in your browser. Open the full Workbench.