Does a Proper Double Push Use the Groin Muscle?

From Bill in Houston: "On the part of the double push normally called the underpush, if you just set down your right foot: Do you use your groin muscles to pull the right leg to the left, towards and across the centerline? "