stuff about coinductive naturals