Ted Cruz will ultimately be forgotten