BURIDAN release by nick on skate.cs.washington.edu at Fri Oct 22 18:44:47 PDT 1993
