Showed that def works for recursion