the auxiliary contact being a whip contact