Då det nämligen måste förutsättas,