Vaclav Havel had this great sense of humor. And you kind of felt that he was making a little bit fun of everything at the same time.