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