In case you hadn’t heard, Ted Cruz and Bernie Sanders will face off over health care tonight on CNN.

Fellow GOP Senator Mike Lee has graciously offered his friend some extra debate prep help:

Not bad, Senator.