Anonymous ID: a6c961 June 27, 2023, 7:22 p.m. No.19086395 🗄️.is 🔗kun >>6445 >>6455 What did Jack Smith's name used to be, per President Trump? "Smith" is obviously an alias.