name syllogism category Package