Timon Gehr: > Formal proofs require a formalization of language semantics. > It's not just a matter of finding someone to carry out the > proof. (Anyone can learn online how to do this.) I think you have too much faith in people intelligence (or just in my intelligence) :-) Bye, bearophile