This method of deduction ... is often called "combinatory". Its usefulness is not exhausted at this stage, but it does even at the outset lead to some valuable conclusions.