reasonable state for 3value logic