Sea formula_4 el elemento visitado en el "j"-ésimo acceso de "S", y sea "f" un elemento fijo (""finger"").