some problems with tribool