Under det , såsom vi visat,