I am referring to your comment "This starts to get complicated: simultaneous or not exact or not from top or bottom recursive or not Is it worth it?".