We discuss the fermion sign problem and how it is ameliorated at low energies in dense matter. We show that the effective field theory of low energy quasiparticles has positive, semidefinite determinant in Euclidean space. Applications to lattice simulation and rigorous inequalities are briefly discussed.