John Lennox: MachinoCreation at TheoTech 2021