Conclusion
Strategy has potential
What makes an effective model?
High-performance SETHEO implementation
Completeness?
Analogy plans