diff --git a/README.md b/README.md
index 8c87fb3..6a20132 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,15 @@ using (var ctx = new Z3Context())
 
 ### Problem - Linear Algebra
 
-Solve the following system with 3 variables, with linear equalities and inequalities.
+Solve the following system with 3 variables, with linear equalities and inequalities:
+
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
 
 ```csharp
 using (var ctx = new Z3Context())
diff --git a/build.ps1 b/build.ps1
index 9c20d11..13449e9 100644
--- a/build.ps1
+++ b/build.ps1
@@ -71,10 +71,10 @@ param (
     [string] $BuildModulePath,
 
     [Parameter()]
-    [version] $BuildModuleVersion = "1.5.3",
+    [version] $BuildModuleVersion = "1.5.4",
 
     [Parameter()]
-    [version] $InvokeBuildModuleVersion = "5.7.1"
+    [version] $InvokeBuildModuleVersion = "5.10.3"
 )
 
 $ErrorActionPreference = $ErrorActionPreference ? $ErrorActionPreference : 'Stop'
diff --git a/examples/z3-problems.dib b/examples/z3-problems.dib
index 828a12e..e36d45f 100644
--- a/examples/z3-problems.dib
+++ b/examples/z3-problems.dib
@@ -62,6 +62,14 @@ using (var ctx = new Z3Context())
 
 Solve the following system with 3 variables, with linear equalities and inequalities.
 
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
+
 #!csharp
 
 using (var ctx = new Z3Context())