Assertion: algorithm's time | /r/HasProperty | called with list
Facets:
Source sentences:
text: Each time, find_max() is called with a list that’s shorter by one element, so eventually the list will be of length 1 and the nested calls will end.