Remove boundedness assumption from 08IN

Thanks to Bhargav Bhatt