Irony is hard to define.