Meta-Theorem. [00CL]

All classes we will see today are reasonable. Proof. Almost the entire chapter on classes of morphisms.