diff --git a/packages/constraint-solver/solver.js b/packages/constraint-solver/solver.js
index 60391c8345..397349e41c 100644
--- a/packages/constraint-solver/solver.js
+++ b/packages/constraint-solver/solver.js
@@ -589,7 +589,7 @@ CS.Solver.prototype.getSolution = function (options) {
     if (input.isRootDependency(package) ||
         input.isInPreviousSolution(package) ||
         input.isUpgrading(package)) {
-      logic.require(pvVar(package, v));
+      logic.require(Logic.implies(package, pvVar(package, v)));
     }
   });