The elements of logic, 1748