ironic logic view 3