Destarred all the theorems