Logical discrepancy was not part of the original SIR verification process, and that it was included as an afterthought to add ...