As already noted, the Wigner function of quantum state typically takes some negative values. Indeed, for a pure state in one variable, if W ( x , p ) ≥ ≥ 0 for all x and p , then the wave function must have the form