nvc-assertion.png