Verified 178 / 248I didn’t just author the primitives. I implemented them. That’s the part they still don’t know how to face.Loading artifact media and proof details.