Det hade visserligen varit önskligt,