diff --git a/flax/subterms/15happy b/show/dance2004/subterms/15happy copy from flax/subterms/15happy copy to show/dance2004/subterms/15happy