a double bass is used for playing music.'