diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp
new file mode 100644
index 0000000000000000000000000000000000000000..0574dccfd0f398cf4db71fd8096faf81cdee764c
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp
@@ -0,0 +1,5 @@
+/* Ensure that the number of event A is less than or
+equal to 3.  Guarantees at most three instance of A. Change 
+3 to 2 to guarantee at most two instances of A. */ 
+
+ENSURE #A <= 3;