Visserligen hade det varit önskligt,