såsom vi redan omnämt,