Correct bootstrap method
Add helper script for tfbt
Merge branch 'master' of github.com:mhtess/syllogism-project
Dunno