CAT-LOGICAL-REASONING