in the process of proving efxmap`remove-tgtmap-implies-efxmap2tgtmap.