Because the logical work of grounding functions is done by lambda abstraction or primitive stipulati...