what if ironic