diff --git a/InOxWeTrust.jpg b/InOxWeTrust.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..2b4766d628afeaa993e6ea76a11c604de9de7cbf
Binary files /dev/null and b/InOxWeTrust.jpg differ
diff --git a/README.md b/README.md
index 797af21869afb9a19146139cffaf70534c4145e1..521d2e75650de8fd6e6259491ea3d598c73a07ea 100644
--- a/README.md
+++ b/README.md
@@ -1,13 +1,18 @@
 Inox 0.1 [![Build Status](http://laraquad4.epfl.ch:9000/epfl-lara/inox/status/master)](http://laraquad4.epfl.ch:9000/epfl-lara/inox)
 ==========
 
-Getting Started
----------------
+InOx
+----
 
-To build Inox, you will need JDK, scala, sbt, and some external solver binaries.
+InOx does not rust. It shines moderately.
+
+![InOx](./InOxWeTrust.jpg?raw=true "InOx We Trust")
+
+To build InOx, you will need JDK, scala, sbt, and some external solver binaries.
 On Linux, it should already work out of the box.
 
 To get started, see the documentation chapters, such as
   * [Getting Started](src/sphinx/gettingstarted.rst)
   * [Installation](src/sphinx/installation.rst)
   * [Introduction to Inox](src/sphinx/intro.rst)
+