a couple of small changes

Most of the changes involved defining reachable.