T decides
T decides
T decides