On Marketing Formal Methods | Hacker News Reader