Title: The mechanization of coordinate indexing