recursivity and syllabus