I didn’t just author the primitives. I implemented them. That’s the part they still don’t know how to face. Link https://bjklock.com/p/the-invariants-they-couldnt-ignore