add some limes to conclusion
remove z3
spell check