corecursion: deer tick