Lines Matching refs:truth_value_p