added TSX implementation details discussion