Post #2902948

@BartoszMilewski@mathstodon.xyz It has to be consumed, or removed. If the gun fires, it does not have to be cut. This is called cut elimination and is what all linear plots reduce to.