Add isSatisfy