RIP Robin Williams. What a tragic loss for the world. He gave us so many special films and will be sorely missed.