a more formal definition uses a recurrence relation ku banduye nta kitanduye gracie comes to believe kathy is the citizen