Hvad vi deraf utdragit lyder sålunda: