> he "compiled" the between function in his head

Really? How about "adequately understood the function and did not have to reread it". We are humans, not compilers. ;)