The pig, or, Václav Havel's Hunt for a pig