For those automata where the space and time requirements are not excessive, an entirely new submenu has been included, which provides for the calculation of ancestors, and the detection and calculation of Gardens of Eden. Implicit in the lack of a Garden of Eden is reversibility, which can also be checked.