Title: The art of logic