Should Batman kill the Joker?