Reworked to look at Wigner functions and phase-point operators