Theorem 8 8 Class Pets