And if it be a reason to prove that spirit is different from body, because thinking includes not the idea of extension in it; the same reason will be as valid, I suppose, to prove that space is not body, because it includes not the idea of solidity in it; and being as distinct ideas as and and as wholly separable in the mind one from another.