Homage to Moses Schönfinkel