Gödel extended the class existence theorem to formulas formula_153 containing relations over classes (such as formula_199 and the unary relation formula_200), special classes (such as formula_9), and operations (such as formula_202 and formula_203).