== 4-fermion EFT with FCNC implementation --