Added base tribool