wyodrębniłem alfa-konwersję
functional evaluation