![[Cubical Logic Model]]