... F to replace the part of EF (because according to ... the very beginning of the post,A-->/B AND AB are ... we replace the original part of EF with E/F, ... gt; G -->H
and the inference we have are ... same with E-->/F, and according to 7sage, actually EF ...