Verified 310 / 380I 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.