the idea of that line, and the idea of that kind of divisibility; and so makes a mental proposition, which is true or false, according as such a kind of divisibility, a divisibility into such parts, does really agree to that line or no.