Verified 128 / 198I 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.