recursion done, excluding encore.
split-into-monotonics done.