How To Write A Recursive Definition