How would you describe them?
Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.
