What muscles are the main focus when performing the external arm rotations at a pulley?

a. Supraspinatus/Pectoralis major
b. Infraspinatus/Teres minor
c. Subscapularis