diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -47,3 +47,8 @@
 
 * Fifth version revised B. Added two more new functions procRhythmicity23Fneg and procBothFneg to the module
 Languages.UniquenessPeriods.Vector.PropertiesFuncRep. They can be used for the minimum element lookup.
+
+## 0.5.3.0 -- 2020-10-09
+
+* Fifth version revised C. Added a new function procDiverse2Fneg to the module Languages.UniquenessPeriods.Vector.PropertiesFuncRep. It can be used
+for the minimum element lookup.
diff --git a/Languages/UniquenessPeriods/Vector/PropertiesFuncRep.hs b/Languages/UniquenessPeriods/Vector/PropertiesFuncRep.hs
--- a/Languages/UniquenessPeriods/Vector/PropertiesFuncRep.hs
+++ b/Languages/UniquenessPeriods/Vector/PropertiesFuncRep.hs
@@ -17,6 +17,7 @@
   , procDiverse2Ineg
   -- * Functions with 'Float'
   , procDiverse2F
+  , procDiverse2Fneg
   , procRhythmicity23F
   , procRhythmicity23Fneg
   , procBothF
@@ -59,6 +60,10 @@
 procDiverse2F :: FuncRep String (UniquenessGeneral2 Char) [Float]
 procDiverse2F = D2 (uniquenessPeriodsVector3 " 01-" . aux0 . convertToProperUkrainian) (justOneValue2Property . int2Float . diverse2)
 {-# INLINE procDiverse2F #-}
+
+procDiverse2Fneg :: FuncRep String (UniquenessGeneral2 Char) [Float]
+procDiverse2Fneg = D2 (uniquenessPeriodsVector3 " 01-" . aux0 . convertToProperUkrainian) (justOneValue2Property . int2Float . negate . diverse2)
+{-# INLINE procDiverse2Fneg #-}
 
 procRhythmicity23F :: FuncRep String (UniquenessGeneral2 Char) [Float]
 procRhythmicity23F = U1 (justOneValue2Property . rhythmicity0)
diff --git a/uniqueness-periods-vector-properties.cabal b/uniqueness-periods-vector-properties.cabal
--- a/uniqueness-periods-vector-properties.cabal
+++ b/uniqueness-periods-vector-properties.cabal
@@ -3,7 +3,7 @@
 -- http://haskell.org/cabal/users-guide/
 
 name:                uniqueness-periods-vector-properties
-version:             0.5.2.0
+version:             0.5.3.0
 synopsis:            Metrices for the maximum element for the uniqueness-periods-vector packages family.
 description:         Metrices for the maximum element for the uniqueness-periods-vector packages family. Generalization of the DobutokO.Poetry.Norms and DobutokO.Poetry.Norms.Extended modules from dobutokO-poetry package.
 homepage:            https://hackage.haskell.org/package/uniqueness-periods-vector-properties