Redirecting to Wigner distribution function