Efter hvad sålunda förekommit,