Truth is the progressive diminution of residual error.