(...) Well put. And good documentation for the record. :) It's an extremely difficult problem to solve correctly in a completely mechanized way. My questions to Matt were designed to highlight the difficulties and I hope it didn't seem like I was (...) (26 years ago, 14-Jan-99, to lugnet.admin.general)
