Title: Woodin's whimsies, satiric, comic, and pathetic