@kentpitman @dabeaz not sure... but would've been good. 👍