Denne har nämligen med vanligkonseqvens