Removed usage of isSatisfied