The irony the pure justified irony.