“…It is therefore surprising that, in the case of the incompressible Euler equations, the so-called weak-strong uniqueness property was proved, on the whole space, for admissible measure-valued solutions by Brenier, De Lellis, and Székelyhidi [BDLS11]. This means that if there exists a sufficiently regular (classical) solution, then every admissible measure-valued solution with the same initial data will coincide with the classical solution.…”