“…Definition 113. [69] Let (X, G) be a G-metric space. A mapping T : X −→ X is said to be a modified generalized F-contraction of type (M) if F ∈ M G and there exists τ > 0 such that for all x, y, z ∈ X, G(T x, Ty, T z) > 0 ⇒ τ + F(G(T x, Ty, T z)) ≤ F(S(x, y, z)), where S(x, y, z) = max G(x, Ty, Ty), G(y, T x, T x), G(y, T z, T z), G(z, Ty, Ty), G(z, T x, T x), G(x, T z, T z) .…”