Såsom vi redan anfort,