diff --git a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
index 5dad258..23a5ba3 100644
--- a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
+++ b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
@@ -22,7 +22,7 @@ stateVariable(Variable)     :- headVariable(_,Variable).
 
 % Apply effects
 caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value),
-		  	      holds(Variable', Value', t) : precondition(Effect, Variable', Value').
+		  	      holds(Variable', Value', t-1) : precondition(Effect, Variable', Value').
 modified(Variable, t) :- caused(Variable, Value, t).
 
 holds(Variable, Value, t) :- caused(Variable, Value, t).