An SAT for CEOs | Hacker News Reader