11To be precise, phase space is the space of positions-momenta, but in our case the difference is trivial.