Complete class theorems