to characterize discretized timesteps and to make it a bit far more obvious whenever we check with a constant compared to a discrete SSM.
Using these representations, there is a neat trick that we could use, https://k2spiceshop.com/product/liquid-k2-on-paper-online/