Update syllogism1