 Combining these criteria, he proposed the following as a sufficient condition for formal grounding: If the truth \(M\) is exactly deducible from truths \(A, B, C, \ldots\) with respect to \(i, j, \ldots\), and \(A, B, C, \ldots\) are the simplest of all propositions equivalent to them (presumably again wrt \(i, j, \ldots\)), and if none of \(A, B, C, \ldots\) is more complex than \(M\), then a relation of formal grounding holds between \(A, B, C, \ldots\) and \(M\) (§221, no.7).