så hade det , som ofvan antydts,