We can perceive that two times two is four, or that two times two is not five, because there is actually a relation of equality between two times two and four, and a relation of inequality between two times two and five; and so truth is intelligible.