הפונקציה עוברת על המערך המקורי, המסודר מהמספר הגדול לקטן, ומסתכלת כל פעם על שני אברים במערך הזה, לפי הסדר. את הראשון מביניהם (הגדול יותר) היא שמה במקום המתאים בצד שמאל, ואת הקטן מביניהם במקום המתאים בצד ימין. הסיבה שזה עובד היא שהמקום המתאים במערך המטרה מוגדר מחדש כל איטרציה ע"י: 1. מצד שמאל, ע"י מצביע שזז בכל איטרציה מקום אחד ימינה במטרה (t) ושני מקומות ימינה במקור (s) 2. מצד ימין, ע"י בלוק קטן והולך (size), שמזיז בכל פעם את המקום המתאים במטרה להצבת המספר השני מקום אחד שמאלה. כך שהפונקצייה בעצם ממיינת זוגות של תאים סמוכים במערך המקורי לזוגות של תאים מנוגדים (במיקומם ביחס לקצוות) במערך המטרה.