Just mathematically speaking, start with variable/groups/slots that ... yield a must be true inference.
Conversely, if ... standard could be true inference, begin with the variables/groups/slots ... that's okay. Practice can help with that. But it's ...