(define anton (lambda (x y) x)) ; (define berta anton) ; (define charly (anton a b))
(lambda (x) (mult x ten))
anton ; berta
(b t f) ; (anton a b) ; ((lambda(x) (add x three)) two)