Add incomplete note on co-inductive natural numbers.