Det är denna senare grundsats,