fix truth value, but not final solution.