COMPLETE CLASS THEOREMS IN EXPERIMENTAL