the state that this dependency depends on
the deduction function that evaluates the deducted state of this dependency