Re: implementation issues with b-node sharing (5.26 DL syntax)

From: Jim Hendler <hendler@cs.umd.edu>
Subject: Re: implementation issues with b-node sharing (5.26 DL syntax)
Date: Tue, 25 Mar 2003 15:37:53 -0500

[...]

> Peter volunteered last week that he thought he could fix the 
> proof by mid-April, so getting it done before moving to the next 
> stage seems clearly doable.

Volunteering to attempt to fix the proof by mid-April with a backup of not
including the feature if the fix proves impossible, is very different from
being volunteered to fix the proof by mid-April with no backup.

peter