diff --git a/poincare/README.txt b/poincare/README.txt
new file mode 100644
index 000000000..5aa15f062
--- /dev/null
+++ b/poincare/README.txt
@@ -0,0 +1,20 @@
+Things we will want to simplify:
+
+ 2.y.3 -> 6.y
+ y.x.3 + x^2 +1 -> x^2 + 3*x*y + 1
+Zeroes and ones
+ x + 0 -> x
+ 1*x -> x
+ x^1 -> x
+ x^0 -> 1
+Simplify fractions
+ (x^2+5.x+6)/(x+2) -> x+3
+Polynomials
+ (x+1)^2-x^2 -> 2*x+1
+Fractions
+ (2*x)/(x^2-1) - 1/(x-1) -> 1/(x+1)
+Functional identities
+  ln(2x) - ln(x) -> ln(2)
+  y*sin^2(x) + y*cos^2(x) -> y
+
+Note : The simplification process can be interrupted! -> It probably browses a graph
diff --git a/poincare/src/layout/fraction_layout.cpp b/poincare/src/layout/fraction_layout.cpp
index 15da4a5ef..d0d56f71d 100644
--- a/poincare/src/layout/fraction_layout.cpp
+++ b/poincare/src/layout/fraction_layout.cpp
@@ -1,4 +1,3 @@
-#include <poincare/fraction.h>
 #include <string.h>
 #include <assert.h>
 #include "fraction_layout.h"