- some elements in theorem references still had disabled attribute so removed them