... , when attempting to find what must be true, begin ... yield a must be true inference.
Conversely, ... standard could be true inference, begin with the variables ... You won't always see what is the most or least ... I would get stuck in LG and would be ...