Highlights from my Whatever Debate with Erudite — Trent Horn