"complete class theorem"