Don’t be sad that it’s over, be sad that it ever happened. (Old Mariners Fan Proverb)