false-implies-efxmap2perm