The high-pulley overhead triceps extension uses a bent-over lunge setup, rope attachment, and full stretch-to-contraction path to hammer the triceps without the usual sloppy pressdown mechanics.