I så fall vore det heltvisst