### Question

Can classes appear in specs?

• Primarily, the new operator may not be used in a specification, so new class objects cannot be allocated in the spec