Ezt a közbülső absztrakt file-t könnyen elő tudjuk állítani az eredeti x : F file-ból, és segítségével könnyen elő tudjuk állítani az absztrakt b : B file-t (a sorok számlálásával és a bekezdés leghosszabb sorának a keresésével).