REAL_Music is satisfying_harmonique_stable