diff --git a/README.md b/README.md
index 1d5833a..2514eb6 100644
--- a/README.md
+++ b/README.md
@@ -9,9 +9,11 @@
 ## Usage
 
 ```bash
-$ anthem [options] file...
+$ anthem [--simplify] file...
 ```
 
+With the option `--simplify`, output formulas are simplified by applying several basic transformation rules.
+
 ## Building
 
 `anthem` requires [CMake](https://cmake.org/) and [Boost](http://www.boost.org/) for building.