disambiguating tribool