Solving Tic Tac Toe with Alloy | Hacker News Reader