Constant ELIMINATED_AXIOM 

pub const ELIMINATED_AXIOM: &'static str;

The trust escape a re-derived leaf no longer rests on, as Lean’s #print axioms names it.