It's connected with mathematical reasoning, it supports mathematical reasoning, we can use it in mathematical reasoning, but the real essence of what we're trying to do is to understand what the statements mean, understand what the symbols represent, and reason with the concepts. 