A simple syllogism