Updated a note on unguarded co-recursive functions.