Det hade sålunda varit önskligt,