ignoring depth argument, doesn't seem to be needed; rules will stop applying eventually.
(def) the (time ..) in order to get (load) to run the benchmark
make benchmarks easier to run
cleanup
documentation