Om det derför antages,