bf3 at telenet.be wrote: > Are you kidding, or has automatic proving of programs evolved that far? > > Aaarrrggghhhh, soon we're all out of job ;-) > "Experts" have been proclaiming this since high-level programming was invented many decades ago. We're still waiting. ;-)