RIP Robin Williams. What a great actor he was.