Det är nemligen klart , att demindre