all but final subcase; will need to change IH though