A variety  is of general type if its Kodaira dimension is equal to . It is a theorem of Eisenbud, Harris, and Mumford that  is of general type when .