Thanks to everyone for the many helpful comments.