diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp
new file mode 100644
index 0000000000000000000000000000000000000000..6a03d1a9bf799240023bb60e308f089efb54e13c
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp
@@ -0,0 +1,4 @@
+/* Ensure that event A occurs a specific number of times.  
+(Set to 0 if the event should be absent from all traces. */   
+
+ENSURE #A == 2;