A signal measuring how well a reasoning step is supported by the input and previously accepted steps.