[Termtools] certified - strange proofs

[Frederic Blanqui]

On Wed, 6 Jun 2007, Claude Marché wrote:

> If we follow the rules, ttt2 should be disqualified.

i do not agree. this is not a real bug, just a matter a communication between
tools. and this is the first year that we have this certifying category. it's
a little bit normal to have little problems like this at the beginning. and i
think that the purpose of this category is to encourage people! we can simply
adjust scores using claude's grep.