Having said that - after a Dutch proverb - sometimes it's better to end the pain than suffer pain without end.