syllogizaverint