It's a familiar concept to most people, though: most people understand that people have parents, grandparents, greatgrandparents, and so on. (Maybe a bad examp

It's a familiar concept to most people, though: most people understand that people have parents, grandparents, greatgrandparents, and so on. (Maybe a bad example; I feel like it shows that people are familiar with coinduction.)