From Herbrand schemes to functional interpretation. - Sebastian Enqvist-Pyk (CoRR, 2026)