Carroll's ability to solve the so-called sorites (litters in Greek "heap") - logical problems represented by a chain of syllogisms in which the conclusion of one syllogism serves as the premise of another - was compared with art. You will understand this by immersing yourself in the book "Symbolic Logic," in which Carroll the mathematician offers more than a hundred wonderful problems.