in is said to be <em>move-independent</em> if for every fresh (not moved-from) object <code>x</code> in the domain, any permutation of the following statements is valid and leaves the <code>zk</code> objects in a fresh (not moved-from) state: </p><div class="fragment"><div class="line"><span class="keyword">auto</span> z1 = f1(std::move(x));</div><div class="line">...</div><div class="line">auto zn = fn(std::move(x));</div></div><!-- fragment --><dl class="section note"><dt>Note</dt><dd>In the special case 