Constant ELIMINATED_AXIOM 

pub const ELIMINATED_AXIOM: &str = "Lean.ofReduceBool";

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