Nondeterministic time-based tree descent, logging.