>>As you pointed out earlier, irony is...<<
You seem to have a new and heretofore completely unknown definition of “irony.”
Really? So what did you infer from my implication then?