incorporate_your_revision_before_section_3 with better references
Merge branch 'master' of https://github.com/batmanfly/TOIS