Category 4

Summary: Tools for Index/ Traub machines