syllogizatarum