A Complete Class Theorem ...