diff --git a/.changeset/fast-points-wonder.md b/.changeset/fast-points-wonder.md
new file mode 100644
index 000000000..710f230b1
--- /dev/null
+++ b/.changeset/fast-points-wonder.md
@@ -0,0 +1,7 @@
+---
+"@apollo/federation-internals": patch
+"@apollo/gateway": patch
+"@apollo/composition": patch
+---
+
+Reduce memory overhead during satisfiability checking when there are many options.
diff --git a/query-graphs-js/src/conditionsValidation.ts b/query-graphs-js/src/conditionsValidation.ts
index 7bae900ad..7763c170c 100644
--- a/query-graphs-js/src/conditionsValidation.ts
+++ b/query-graphs-js/src/conditionsValidation.ts
@@ -25,7 +25,7 @@ class ConditionValidationState {
   ) {}
 
   advance(supergraph: Schema): ConditionValidationState[] | null {
-    let newOptions: SimultaneousPathsWithLazyIndirectPaths[] = [];
+    const newOptions: SimultaneousPathsWithLazyIndirectPaths[] = [];
     for (const paths of this.subgraphOptions) {
       const pathsOptions = advanceSimultaneousPathsWithOperation(
         supergraph,
@@ -40,7 +40,7 @@ class ConditionValidationState {
       if (!pathsOptions) {
         continue;
       }
-      newOptions = newOptions.concat(pathsOptions);
+      newOptions.push(...pathsOptions);
     }
 
     // If we got no options, it means that particular selection of the conditions cannot be satisfied, so the