https://heisenbergreport.com/2017/05/04/thursday-humor-define-irony/