Men då antagligt vore,