Reasoning that keeps facts, candidates, and uncertainty distinct.
What are you trying to decide, understand, or make happen?