diff --git a/CHANGELOG.md b/CHANGELOG.md
index b941daf..ab8b6cd 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@
 
 ## (unreleased)
 
+Features:
+
+* basic simplification of output formulas (optional)
+* command-line option `--simplify` to turn on simplification
+
 Internal:
 
 * explicit syntax tree representation for first-order formulas