Real stand-up comedy by Robin Williams at TED