I först nämnda fallet vöro det önskligt,