Replacing Requirements with Hypotheses

Comments