OrdC 1 is with_initial_objects