The "formal" interpretation is more widespread than the "substantive" interpretation. Which interpretation of the rule of law is less commonly used?