MATH+ protocol for t