A 42-year-old male patient presents to your clinic with a 2-week history of mid-back pain and stiffness. The patient reports that the pain started after lifting heavy boxes during a recent move and has progressively worsened. He has trouble twisting his torso to the left and has noticed muscle tightness on the right side of his mid-back. Physical examination reveals tenderness over the right paraspinal muscles at the T6 vertebral level. You diagnose the patient with thoracic somatic dysfunction and decide to use the High-Velocity Low-Amplitude (HVLA) technique for treatment. During the treatment, the HVLA force was applied to T6 with the patient’s thoracic spine extended, rotated right, and sidebent right. The treatment is successful, and the patient experiences a significant reduction in pain and stiffness. Based on the patient’s response to HVLA treatment and the specific treatment technique applied, which of the following was the most likely thoracic somatic dysfunction diagnosis that was addressed during the treatment session?