What a wonderful man we have lost today. With laughter, he made us rich. Thank you, Robin Williams. Rest in Peace.