Searching protocol for "axiomatic design"
Generate robust software architecture.
Build efficient, provable set-theory systems