Text this: The art of logic, 1654.