For every compact connected smooth surface without boundary and with strictly negative curvature, does every sequence of normalized Laplace eigenfunctions with eigenvalues tending to infinity have Liouville semiclassical measure, including arbitrary choices within degenerate eigenspaces?