Added T.Checker and T.Ensurer - untested