Truth-value_semantics