Vi taga således för gifvet att,