Give me a design of software system?
Trade-off between
Expressivity
and
Tractability
