pub const LAW_CLASS_UNIVERSAL: &str = "universal";
Marker class tag: no sampled-domain premises — the ∀-statement is the law’s genuine universal claim.
∀