The Logistica 2.0 Deduction System Implementation Technology is a programming language extension to R5RS Scheme which automatically computes all possible combinations of values of multiply valued subexpressions. Multiple values are generated by multiple definitions of a symbol and by allowing Second Order patterns such as segment variables, which may match in different ways, as the parameters of lambda abstractions. This technology is briefly illustrated with an extensible deduction system involving the derivation of an axiom schema.