Both Jon and David have already confirmed that David’s share count in the 2021 10-K is less than his share count seen in the 2020 10-K. Again, no Form 4 was filed though