The elements of logick. In four books