German legal method teaches a formal syllogism, called Subsumtion: state the rule, establish the facts, apply the one to the other. Law students are drilled in it, and examination answers are marked on whether the structure was followed. Deduction is taught as a procedure with a name.