H = ruling of the appellate court
P ∈ ℝ = current illegal percentage
W = global set of jurisdictions
I(P) = predicate “P is illegal”
Δ(P) = adjusted value of P, defined as
Δ(P) = P + (0.10 · P)
H = ruling of the appellate court
P ∈ ℝ = current illegal percentage
W = global set of jurisdictions
I(P) = predicate “P is illegal”
Δ(P) = adjusted value of P, defined as
Δ(P) = P + (0.10 · P)