no more empty theory replaces with #585
remove unwritten sections
Merge pull request #586 from crbates/theory

no more empty theory replaced with #585