syntax and preliminaries