 assert recurrence equals true recurrence recurrence 
