I så fall vore det önskligt,