Prezentacia s two lambda
Rewriting BP