Hi, Andrew Suffield wrote: > It's called "reductio ad absurdum". [...] it's a classic and > fairly graphic proof method. Thanks for clarifying. (I'm rather bad at recognizing rhetorics in English.) -- Matthias Urlichs