We have a fun discussion about some emails we received and what they represent. Then Henry introduces an idea for an app for formalizing reasoning which leads into a discussion about reasoning generally. Is reasoning about truth, or about winning?