Vi omnämnde den syllogism,