Jack Nicholson's character in The Witches of Eastwick