(fix f:!x.0<x'.\n:#.case n of #0 -> axLS 0
	| v' -> (transL 0 v' v'' {f v, axLS v'})
)3