On Marketing Formal Methods | Dark Hacker News