Implementing TPTs