79) observes, "But we want one binary operation +, not all these little one-place functions."
Ο Enderton (p.79) παρατηρεί, "Όμως θέλουμε μια δυαδική πράξη +, όχι όλες αυτές τις μικρές συναρτήσεις ενός μέρους."