Thank you for you post, and for your fine book on algorithms.