Correct documentation for anySatisfy