Integrate out heavy field H: L_eff = L_light + (coupling)² O(light)/M_H² + ...; Fermi 4-fermion theory as EFT of W exchange.