Vi antaga tvärtom ,att