diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -52,3 +52,8 @@
 
 * 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.
+
+## 0.5.4.0 -- 2020-10-10
+
+* Fifth version revised D. Added two new functions procBothInvF and procBothInvFneg to the module Languages.UniquenessPeriods.Vector.PropertiesFuncRep.
+They 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
@@ -9,7 +9,7 @@
 -- and DobutokO.Poetry.Norms.Extended modules
 -- from the @dobutokO-poetry@ package.
 
-{-# LANGUAGE CPP #-}
+{-# LANGUAGE CPP, BangPatterns #-}
 
 module Languages.UniquenessPeriods.Vector.PropertiesFuncRep (
   -- * Functions with 'Int'
@@ -22,6 +22,8 @@
   , procRhythmicity23Fneg
   , procBothF
   , procBothFneg
+  , procBothInvF
+  , procBothInvFneg
 ) where
 
 #ifdef __GLASGOW_HASKELL__
@@ -82,3 +84,16 @@
 procBothFneg :: FuncRep String (UniquenessGeneral2 Char) [Float]
 procBothFneg = U1 (\xs -> let ys = convertToProperUkrainian xs in [(int2Float . negate . diverse2 . uniquenessPeriodsVector3 " 01-" . aux0  $ ys)*(evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys)])
 {-# INLINE procBothFneg #-}
+
+procBothInvF :: FuncRep String (UniquenessGeneral2 Char) [Float]
+procBothInvF = U1 (\xs ->
+  let !ys = convertToProperUkrainian xs
+      !zs = uniquenessPeriodsVector3 " 01-" . aux0  $ ys in if V.null zs then [(evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys) * (evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys)] else [(evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys) / (int2Float . diverse2 $ zs)])
+{-# INLINE procBothInvF #-}
+
+-- | Can be used to find out the minimum element.
+procBothInvFneg :: FuncRep String (UniquenessGeneral2 Char) [Float]
+procBothInvFneg = U1 (\xs ->
+  let !ys = convertToProperUkrainian xs
+      !zs = uniquenessPeriodsVector3 " 01-" . aux0  $ ys in if V.null zs then [negate (evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys) * (evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys)] else [(evalRhythmicity23 . mconcat . syllableDurations . map ( createSyllablesP . additionalF) . vecWords $ ys) / (int2Float . negate . diverse2 $ zs)])
+{-# INLINE procBothInvFneg #-}
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.3.0
+version:             0.5.4.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