såsom vi redan veta,