added second theory test.
cleand up the description of the second theory test
Formatted file diffently