Overview of Thomas