pub const STRONGLY_ACTIVE: i8 = 2;
r = O(1/μ): the bound holds the variable; projected out.
r = O(1/μ)