Check Satisfaction Extension