Antingen måste de då sålunda väljaj