Grammar check. Add appendix on garbage collection. Polish.