Choosing a Variable Ordering for Truth