— I det fallet måste vi antaga attvi