REAL_Music is satisfying_fourth_constructible