diff --git a/cp-demo/Product.scala b/cp-demo/Product.scala
new file mode 100644
index 0000000000000000000000000000000000000000..74b3d7980fd4693458a260038cc82084d5eef0e8
--- /dev/null
+++ b/cp-demo/Product.scala
@@ -0,0 +1,12 @@
+import cp.Definitions._
+import cp.Terms._
+
+object Product {
+  def main(args: Array[String]): Unit = {
+    val c1 = ((x: Int) => x > 5).c
+    val c2 = ((x: Int) => x > 41).c
+
+    val c3 = c1 product1 c2
+    println(c3.solve)
+  }
+}