> as a behind-the-scenes knowledge You can't reason about information you haven't included in the logic. To say it another way, if a predicate doesn't have a l

> as a behind-the-scenes knowledge You can't reason about information you haven't included in the logic. To say it another way, if a predicate doesn't have a letter representing it, you won't get any conclusion about the predicate.