I förra fallet gälde detnämligen