För dessa och liknande fall vöre detnödigt