isSatisfied fixes