Highlights from my Whatever Debate with Farha — Trent Horn