(no subject)
Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between observe-and-do-depth-first-search-to-com pute-stuff-terminating-when-you-reach-ca ched-answers and change-and-do-something-like-depth-first-s earch-terminating-when-you-stop-making-c hanges that can be exploited?