ironic logic view 1