In initial clusters, the existence of at least one sequence consisting of two voiced obstruents implies the existence of at least one combination consisting of two unvoiced obstruents.
Standardized
In initial clusters, IF there is at least one sequence consisting of two voiced obstruents, THEN there is at least one combination consisting of two unvoiced obstruents.
Cf. #871 for final clusters.