14.07 Preparing models for checking