Det måste således vara.