Proof

FIX: how to capture that a Requirement is not met until Proof is provided?

Proof

FIX: how to capture that a Requirement is not met until Proof is provided?