I don't think it is that bad; I've kept the envname map:

```python
envname = { 
    'axiom' :      'Axiom',
    'chapter' :    'Chapter',
    'cor' :        'Corollary',
    'defn' :       'Definition',
    'equation' :   'Equation',
    'eg' :         'Example',
    'egs' :        'Examples',
    'ex' :         'Exercise',
    'figure' :     'Figure',
    'lem' :        'Lemma',
    'rmk' :        'Remark',
    'section' :    'Section',
    'subsection' : 'Subsection',
    'symindex' :   'Symbol index',
    'table' :      'Table',
    'thm' :        'Theorem'
}
```

and now the set of formalizable things is just:

```python
formalizable = set(['axiom', 'cor', 'defn', 'eg', 'egs', 'lem', 'thm'])
```

So, it's not flipping a false to true, but it's looking up the relevant entry in the table, and then adding it to the set. (Equivalently, the old and new representations are isomorphic.)