Isn't this called ''syllogism''?