( Denna sistnämnda bestämning!