One solver-verified poker heuristic a day.