We can derive ord2 from ord1. No need to require both.