Detta vore dock , som vi allm veta,