Det hade kanske varit önskligt,