I was a Cruz fan in 2016, but don’t really remember it. I was probably paying too much attention to Hillar/Bernie, but I’ll take your word for it.
;^)