marks a definitive step in path toward pure abstraction .