... consistent;
thus it has at least one model