DK it would appear to me that your student conceptualizes the swing according to Leslie King's swing methodology
See -
http://www.golftoday.co.uk/proshop/tuition/index.html
I think that an understanding of TGM's power accumulators allows one to understand the difference between the LK arm swing style and the body-pivot swing style. A swinger uses a particular sequence of PA release - 4:1:2:3. PA#4 is the master power accumulator and it is the angle between the left arm and chest wall between the shoulder sockets.
During the backswing one gets the left arm across the chest wall (loading of PA#4) and during the downswing this angle is released.
In the Leslie King swing methodology the left arm is actively swung away from the chest wall by active contraction of muscles around the left shoulder girdle (colored in red in the next photo).
By contrast, the pivot-driven swing has a kinetic sequence where the hips/shoulders/arms rotate in a particular sequence and decelerate in a sequence.
The arms rotate at the same speed as the hips/shoulders in the early/mid downswing and only accelerate more dramatically (release of PA#4) when the torso pivot decelerates. The arms are essentially catapulted passively off the chest wall, rather than being pulled actively off the chest wall by the left shoulder girdle muscles (as occurs in the LK swing style).
If your student understands the differences, then he may decide to use the standard pivot-driven swing method of releasing PA#4.
Jeff.