är nödwändigt till antagandet.