That's a nice idea, but the nondeterminism can make it tricky. I need to think about it. How big would the inputs be? Could they be created with N/L commands instead?
