remove Satisfaction from TC