Accordingly, anything taking this form will be a deduction in Aristotle’s sense. Let the As, Bs, and Cs be anything at all, and if indeed the As are Bs, and the Bs Cs, then of necessity the As will be Cs. This particular deduction is perfect because its validity needs no proof, and perhaps because it admits of no proof either: any proof would seem to rely ultimately upon the intuitive validity of this sort of argument.