WIP proving bits-tabulate exhausts