renames .satisfies() -> .maxSatisfying()