I don't think case 0 can happen, so this should be an ISE