Dear colleagues, a new preprint of mine entitled "On the computational complexity of finding hard tautologies" is available via my web page or via the ArXiv (which also displays the abstract separately). Comments most welcome. Regards, Jan