Allt detta är dock , såsom man lätt inser,