Such-that Clauses

There are new design abstractions to be considered as discussed in previous sections.