diff --git a/certora/properties.txt b/certora/properties.txt
index 35e592a94..492a5037e 100644
--- a/certora/properties.txt
+++ b/certora/properties.txt
@@ -21,4 +21,5 @@
 19. WebAuthn - encodeClientDataJson Integrity
 20. WebAuthn - encodeSigningMessage Integrity
 21. WebAuthn - verifySignature Integrity
-22. DDOS on verifySignature
\ No newline at end of file
+22. WebAuthn - Both verifySignature behave the same way.
+23. DDOS on verifySignature.
\ No newline at end of file