 (The Greek letters \(\xi\), \(\Phi\), and \(\Psi\) here indicate the functions’ argument places: lowercase Greek letters indicate places that can be filled by proper names, while uppercase Greek letters indicate places that must be filled by function expressions like \(\refp{function-boat}\) and \(\refp{function-smaller}\).) He would have regarded \(\refp{function-smaller}\) as itself the result of “abstracting” on the place occupied by “Shamu” in 