add DISJOINT (FDOM exh) to conclusion of prompt_to_i2_correct