Implementing Thompson