Verified 180 / 248I authored primitives that produce real capabilities. Anyone criticizing the theory without producing equal or better primitives is downstream of the result.Loading artifact media and proof details.