Definition of irony: Two characters in a Hallmark Holiday movie coming out of an off-off-Broadway play that was not good. One asks the other