Pivot for proglangs