Tightening barbed wire fencing with the Texas Fence Fixer