better logging to flesh out nondeterminism