Återstår således endast det autagandet,