Changed induction to coinduction (infinite stream). Missing characters.