Yup, under Trump the covid-19 vaccine was always going to be mandatory. Losing the election allows him to argue otherwise, but anyone who watched 2020 happen knows he would have followed the same script Fauci did, but instead of failure in the civilian side, Trump likely would have succeeded in making it mandatory because the Republicans would have backed him up.