(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)