One then considers a to be temporarily "fixed", applies recursion on b to define a function "a +", and pastes these unary operations for all a together to form the full binary operation.
Κάποιος τότε θεωρεί το α να είναι προσωρινά "σταθερό", εφαρμόζει αναδρομή στο β για να ορίσει μια συνάρτηση "α + ", και κολλάει αυτές τις μοναδιαίες πράξεις για όλα τα α μαζί για να σχηματίσει την πλήρη δυαδική λειτουργία.