fixed truth tests