Updated in_language.
Minipage added.
Appendix better formatted.
Appendix lines splitted.
Tal's appendix updated.
Appendix formatted.
Appendix updated.
Small update.