let index_shift pt i = Fol.Tapp ("shift_index", [pt; i])