Which of the following is ironic?