diff --git a/vmcai2011-testcases/Giuliano.scala b/vmcai2011-testcases/Giuliano.scala
new file mode 100644
index 0000000000000000000000000000000000000000..99247ab2460c7255e058adffb228d949e0351ae7
--- /dev/null
+++ b/vmcai2011-testcases/Giuliano.scala
@@ -0,0 +1,14 @@
+import scala.collection.immutable.Set
+
+object Giuliano {
+  sealed abstract class List
+  case class Cons(head: Int, tail: List) extends List
+  case class Nil() extends List
+
+  def form1(x: Cons, y: Set[Int]) : Boolean = {
+    y.contains(x.head) && y.size == x.head
+  } ensuring(_ == true)
+
+}
+
+// vim: set ts=4 sw=4 et: