Antingen måste alltså defrämmande