removed lots of theorems and definitions