The art of logical reasoning