I sing the praise of the rarely mentioned genius Moses Schönfinkel, who invented combinatorial logic.