OrdC 1 is with_exponential_objects