diff --git a/kontrol.toml b/kontrol.toml
index 745e6407..288f45b3 100644
--- a/kontrol.toml
+++ b/kontrol.toml
@@ -6,6 +6,7 @@ verbose                    = true
 debug                      = false
 require                    = 'test/kontrol/lido-lemmas.k'
 module-import              = 'VetoSignallingTest:LIDO-LEMMAS'
+auxiliary-lemmas           = true
 
 [prove.default]
 foundry-project-root       = '.'