Prosleptic_syllogism loading ...