Boldify names of axioms and theorems