Theoretical eval. Draft of practical eval. Conclusion.
Spell checking.