Если же иронией пренебрегают, она сгущается до сарказма. И какой тогда от нее толк? Сарказм – это ирония, потерявшая душу.