Today has been full of interesting, heated debate regarding the uid-lamportwritingproofs issue. I don't think we're going to change each other's minds but I do think it brings to light many issues that are often unspoken. Maybe I'll be allowed to post the full discussion.
Also, I spent the afternoon with my cousin Chris and his wonderful children, one 4 years and one 4 months. Fun!
# — 14 February, 2002