 The reason is that (4) respects, but (6) does not, the two criteria. (The ground language is assumed here to contain ordinary arithmetic; under this assumption, the second definition implies a contradiction.) The following two definitions are also not in normal form: