Identify cases where the validator is structurally unable to reject the target because acceptance follows from assumptions copied from the target theory or construction process.
