 The individuation of arguments, on Bolzano’s view, involves not only a specification of premises and conclusions(s) but also of an inference. Usually, inferences embody repeatable patterns or forms. And we determine the form-matter distinction (and thus what the inference is) in each particular case by specifying which ideas are to be considered variable: