Do we care about the return value of `IsSatisfied`? Wouldn't be enough if we verify that `IsSatisfied` is invoked?