ironic logic view 2