Constraints Architecture. QS1 and QS2 are (possibly identical) QA ...