diff --git a/bdds/1027.tex b/bdds/1027.tex
index 30fa404..1876065 100644
--- a/bdds/1027.tex
+++ b/bdds/1027.tex
@@ -1,7 +1,7 @@
-\item \self  Construct a Reduced Ordered Binary Decision Diagram (ROBDD) for the formula  
+\item \self  Construct a Reduced Ordered Binary Decision Diagram (ROBDD) for the formula
 
 $$f = (\lnot x \land \lnot y)\lor (x \land y),$$
 
-using \textit{variable order} $z < x < y$. Use complemented edges and a node for \texttt{true} as the only constant node. To simplify drawing, you may assume that \textit{dangling edges} point to the constant node. Write down all cofactors that you compute to obtain the final result and mark them in the graph.
+using \textit{variable order} $y < x$. Use complemented edges and a node for \texttt{true} as the only constant node. To simplify drawing, you may assume that \textit{dangling edges} point to the constant node. Write down all cofactors that you compute to obtain the final result and mark them in the graph.
 
-% (not x and not y) or (x and y)
\ No newline at end of file
+% (not x and not y) or (x and y)