Work on reasoning

- started recursive algorithm