Och detsamma bör göras i det fall,