Macro invariant_established 

macro_rules! invariant_established {
    ($name:path [$n:literal], why = $lit:literal) => { ... };
    ($name:path, why = $lit:literal) => { ... };
}