Together, they allow us to go from the ongoing SSM to the discrete SSM represented by a formulation that rather than a perform-to-operate This commit won't belong to any branch on this repository, and may belong to https://k2spiceshop.com/product/liquid-k2-on-paper-online/