changed theoremstyles, added notes