disambiguating tribool
Merge pull request #764 from jtlap/tribool

disambiguating tribool