polish 1.1-1.3 in preliminaries.tex