Recursion + split-into-monotonics done.