diff --git a/BouncyCastle-JCA/src/SecretKeySpec.crysl b/BouncyCastle-JCA/src/SecretKeySpec.crysl
index 9929255..c1f27d6 100644
--- a/BouncyCastle-JCA/src/SecretKeySpec.crysl
+++ b/BouncyCastle-JCA/src/SecretKeySpec.crysl
@@ -21,9 +21,9 @@ CONSTRAINTS
 	neverTypeOf[keyMaterial, java.lang.String];
 	
 REQUIRES
-	preparedKeyMaterial[keyMaterial];	
+	preparedKeyMaterial[keyMaterial] || randomized[keyMaterial];	
 	
 ENSURES
 	speccedKey[this, _];
 	generatedKey[this, keyAlgorithm];
-	
\ No newline at end of file
+	
diff --git a/JavaCryptographicArchitecture/src/SecretKeySpec.crysl b/JavaCryptographicArchitecture/src/SecretKeySpec.crysl
index f272d27..f3f0e64 100644
--- a/JavaCryptographicArchitecture/src/SecretKeySpec.crysl
+++ b/JavaCryptographicArchitecture/src/SecretKeySpec.crysl
@@ -20,7 +20,7 @@ CONSTRAINTS
 	neverTypeOf[keyMaterial, java.lang.String];
 	
 REQUIRES
-	preparedKeyMaterial[keyMaterial];	
+	preparedKeyMaterial[keyMaterial] || randomized[keyMaterial];	
 	
 ENSURES
 	speccedKey[this, _];