I just came across this today. Pretty good stuff. There’s a beautiful example of a single-time counter in the last exchange.