I hvad vi nu anfört hafva vi visat,