diff --git a/examples/maliciousSHA/malicious_SHA1.cry b/examples/maliciousSHA/malicious_SHA1.cry
index a65b7cf6..0a66622d 100755
--- a/examples/maliciousSHA/malicious_SHA1.cry
+++ b/examples/maliciousSHA/malicious_SHA1.cry
@@ -78,7 +78,7 @@ malicious_k1 = [0x5a827999, 0x88e8ea68, 0x578059de, 0x54324a39]
 
 bad_sha_eve1 = malicious_sha1 eve1 malicious_k1
 bad_sha_eve2 = malicious_sha1 eve2 malicious_k1
-property malicious_sha1_collision1 = bad_sha_eve1 == bad_sha_eve2
+property malicious_sha1_collision1 = eve1 != eve2 && bad_sha_eve1 == bad_sha_eve2
 
 //hexdump malicious/eve1.sh
 eve1_galois = [
@@ -111,7 +111,7 @@ eve2_galois = [
 bad_sha_eve_galois1 = malicious_sha1 eve1_galois malicious_k1
 bad_sha_eve_galois2 = malicious_sha1 eve2_galois malicious_k1
 
-property malicious_sha1_collision2 = bad_sha_eve_galois1 == bad_sha_eve_galois2
+property malicious_sha1_collision2 = eve1_galois != eve2_galois && bad_sha_eve_galois1 == bad_sha_eve_galois2
 
 property all_same_hashes = bad_sha_eve_galois1 == bad_sha_eve1 && malicious_sha1_collision1 && malicious_sha1_collision2