- the method calls rightHandSideFromConfig with the input configuration and - isSatisfied to get the error vector.