Added note on unguarded co-recursive functions.