@mhoye every once in a while we find another one of these: https://en.wikipedia.org/wiki/Noether%27s_theorem