recurrence relations finished (I think)