RIP Robin Williams (1951-2014)