one more exo for recursion.cons