I detta sistnämda fall betecknaralltså