Added truth12
Merge pull request #3 from dsleestak/unlikely

Added truth12