A Modal logic quantifications and substitution by Y. Venema