is used just before producing the point out representations which is current following the state representation has become updated. With these representations, there is a neat trick that we could use, specifically https://k2spiceshop.com/product/liquid-k2-on-paper-online/