“Redemption and judgment are inseparable; the one can come only through the other.”