diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,11 @@
+# Changelog
+
+## [1.0.0.0] - 2021-11-20
+
+* Compatibility with `genvalidity >= 1.0.0.0`
+* Renamed every combinator that ends in `OnValid` (or similar) to not have that suffix anymore.
+
+### Removed
+
+* Every combinator that relates to unchecked or invalid values.
+
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2020 Tom Sydney Kerckhove
+Copyright (c) 2016-2021 Tom Sydney Kerckhove
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/genvalidity-sydtest-persistent.cabal b/genvalidity-sydtest-persistent.cabal
--- a/genvalidity-sydtest-persistent.cabal
+++ b/genvalidity-sydtest-persistent.cabal
@@ -1,21 +1,24 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.2.
+-- This file has been generated from package.yaml by hpack version 0.34.4.
 --
 -- see: https://github.com/sol/hpack
 
 name:           genvalidity-sydtest-persistent
-version:        0.0.0.1
+version:        1.0.0.0
 synopsis:       Standard spec's for persistent-related instances for sydtest
 category:       Testing
 homepage:       http://cs-syd.eu
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
 maintainer:     syd@cs-syd.eu
-copyright:      Copyright: (c) 2020 Tom Sydney Kerckhove
+copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
+extra-source-files:
+    LICENSE
+    CHANGELOG.md
 
 source-repository head
   type: git
@@ -32,7 +35,7 @@
   build-depends:
       QuickCheck
     , base >=4.9 && <=5
-    , genvalidity >=0.5
+    , genvalidity >=1.0
     , genvalidity-sydtest
     , persistent
     , sydtest
@@ -53,7 +56,7 @@
   build-depends:
       QuickCheck
     , base >=4.9 && <=5
-    , genvalidity >=0.7
+    , genvalidity
     , genvalidity-sydtest
     , genvalidity-sydtest-persistent
     , genvalidity-text
diff --git a/src/Test/Syd/Validity/Persist.hs b/src/Test/Syd/Validity/Persist.hs
--- a/src/Test/Syd/Validity/Persist.hs
+++ b/src/Test/Syd/Validity/Persist.hs
@@ -6,8 +6,7 @@
 --
 -- You will need @TypeApplications@ to use these.
 module Test.Syd.Validity.Persist
-  ( persistSpecOnValid,
-    persistSpec,
+  ( persistSpec,
     persistSpecOnArbitrary,
     persistSpecOnGen,
     fromPersistValueAndToPersistValueAreInversesOnGen,
@@ -26,23 +25,12 @@
 --
 -- Example usage:
 --
--- > persistSpecOnValid @Rational
-persistSpecOnValid ::
-  forall a.
-  (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>
-  Spec
-persistSpecOnValid = persistSpecOnGen (genValid @a) "valid" shrinkValid
-
--- | Standard test spec for properties of persistent-related functions for unchecked values
---
--- Example usage:
---
 -- > persistSpec @Int
 persistSpec ::
   forall a.
-  (Show a, Eq a, Typeable a, GenUnchecked a, PersistField a) =>
+  (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>
   Spec
-persistSpec = persistSpecOnGen (genUnchecked @a) "unchecked" shrinkUnchecked
+persistSpec = persistSpecOnGen (genValid @a) "valid" shrinkValid
 
 -- | Standard test spec for properties of persistent-related functions for arbitrary values
 --
@@ -85,13 +73,13 @@
 --
 -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool arbitrary shrink
 --
--- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genUnchecked shrinkUnchecked
+-- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid
 --
 -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid
 --
 -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrink
 --
--- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genUnchecked shrinkUnchecked
+-- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid
 --
 -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid
 fromPersistValueAndToPersistValueAreInversesOnGen ::
diff --git a/test/Test/Syd/Validity/PersistSpec.hs b/test/Test/Syd/Validity/PersistSpec.hs
--- a/test/Test/Syd/Validity/PersistSpec.hs
+++ b/test/Test/Syd/Validity/PersistSpec.hs
@@ -10,6 +10,6 @@
 spec = do
   persistSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])
   -- persistSpec @Double -- DOES NOT HOLD
-  persistSpecOnValid @Rational
+  persistSpec @Rational
   persistSpec @Int
   persistSpecOnArbitrary @Int