For every infinite regular cardinalκ, there is a strictly eventually increasing sequence of κ+functionsκ→κ. At stage 0<ζ<κ+ enumerate predecessors by e:κ→ζ and put fζ(δ)=supη<δ(fe(η)(δ)+1). Regularity bounds each value below κ, while any predecessor's index is eventually included in the supremum.