hi:syllogism