diff --git a/flax/subterms/13mix b/show/dance2004/subterms/13mix copy from flax/subterms/13mix copy to show/dance2004/subterms/13mix