RE : inf - inf = 0 ??



Victor, I think we all agree that the cat must be belled (except apparently
for Hennessey who argues for 'user beware'). But no one has done it yet.