är en logisk nödvändighet.