If even legal formalism requires a practice-dependent rule of recognition to classify rules, then sp...