Redundant lines.
Merge branch 'master' of github.com:valkyriesavage/theory-project
Added source code to the report.
Merge branch 'master' of github.com:valkyriesavage/theory-project