"It is impossible for the same attribute at once to belong and not to belong to the same thing and in the same relation"; and we must add any further qualifications that may be necessary to meet logical objections. This is the most certain of principles, since it possesses the required definition; for it is impossible for anyone to suppose that the same thing is and is not, as some imagine that Heraclitus says.