He wrote for example, "Locke divides all arguments into demonstrative and probable