Should we mourn when the wicked are punished?