  The aim of this brief note is to provide a quick and elementary proof of the
following known fact: on a metric measure space whose Sobolev space is
separable, there exists a test plan that is sufficient to identify the minimal
weak upper gradient of every Sobolev function.
