This paper is located at thomas.html