A note on Barcan formula. Issue 3 (2nd October 2017)