src innehåller två sorters rader: "heta" (kind = 'hot') och "kalla" (kind = 'cold'). Kalla rader måste flyttas atomärt till dest — utan något kapplöpningsfönster mellan att de tas bort ur den ena och infogas i den andra. src(id, kind) innehåller fyra rader: ett par heta och ett par kalla. dest(id, kind) har samma struktur och är tom. Ta i en enda sats bort alla kalla rader från src och infoga dem direkt i dest. Efter operationen behåller src endast heta rader, medan dest får de kalla.