Removed some irrelevant cases from IIA