diff --git a/truth-table.lisp b/truth-table.lisp
index 3261a56..b431b95 100644
--- a/truth-table.lisp
+++ b/truth-table.lisp
@@ -1017,7 +1017,8 @@ arguments."
                    prop-strs :format (option-value 'format opts)
                              :implicit-and (not (option-value 'no-implicit opts))
                              :multi-char-names (option-value 'multi-char opts)
-                             :include-vars (not (option-value 'no-vars opts))))
+                             :include-vars (not (option-value 'no-vars opts))
+                             :include-intermediate (option-value 'subexps opts)))
            (terpri)))))))
 
 (defun toplevel ()