inner-efxmap-fldmap
defined inner-efxmap-fldmap-implies-inner-efxmap2perm