pro-syllogisms