Det måste dock vara så,