DEDUCTION
Involves techniques that depend on the nature of the model.
It may involve solving equations, running a computer program, expressing a sequence of logical statements – whatever it takes to solve the problem of interest relative to the model.
It should not be subject to differences of opinion, provided that the assumptions are clearly stated and identified.