diff --git a/07-infinite-mirror/README.md b/07-infinite-mirror/README.md
new file mode 100644
index 0000000..5f61c16
--- /dev/null
+++ b/07-infinite-mirror/README.md
@@ -0,0 +1,15 @@
+Style #7
+==============================
+
+Constraints:
+
+- All, or a significant part, of the problem is modelled by
+  induction. That is, specify the base case (n_0) and then the n+1
+  rule
+
+Possible names:
+
+- Infinite mirror
+- Inductive
+- Recursive
+