A note on the Barcan formula and substitutional quantification