RIP Robin Williams. Thanks for the laughs.