More tests.
More tests.
More code.
More code, more tests, updated old tests.
OK, the current implementation works well enough to prevent these
spurious zero zones from being created, thanks to judicious use of the
future operator. However, reachability has not yet been achieved, nor
have tests been written.
WE HAVE REACHABILITY !!!
Also, all our tests pass.