@dabeaz this looks like great fun