checked preliminaries