Mitzvot were a pre-condition of redemption. They were also its implication.