diff --git a/lemmas/attacker_works.spthy b/lemmas/attacker_works.spthy
index bf3fe53..6406967 100644
--- a/lemmas/attacker_works.spthy
+++ b/lemmas/attacker_works.spthy
@@ -75,7 +75,7 @@ M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_MUTUAL, 6)
 #endif
 
 #ifdef INCLUDE_KEMTLS_PDK_SAUTH
-M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 1)
+M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH_OR_MUTUAL, 1)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 2)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 3)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 4)
@@ -83,7 +83,7 @@ M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 5)
 #endif
 
 #ifdef INCLUDE_KEMTLS_PDK_MUTUAL
-M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 1)
+dnl M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 1)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 2)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 3)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 4)