REAL_Music is satisfying_octave_constructible