Schönfinkel's name