Hi Peter, > What about an opt-in checked exception system: A mercury construct you > can wrap around a goal or expression that promises that all exceptions > have been caught, Can't you do this with "try"? Michael