Multiple line + recursivity

Introduced the multiple line verification and started figuring out the
recursivity.