Vi komma då att , enligt vår förmodan,