Loading draft …
These methods fit as the next step.
Checks the new concepts for remaining failure modes and side effects.
Compares the verified concepts against both target properties.