...
I am confused with a logic inference.
According to ... F to replace the part of EF (because according to ... the very beginning of the post,A-->/ ... we replace the original part of EF with E/F, ... versions, the inferences made should be the same. Who ...