Our analysis of kinetic Langevin Monte Carlo has been accepted to EJS