Zdzisław Dywan "A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic ${\rm S}_5$ is metalogical''.," Notre Dame Journal of Formal Logic, Notre Dame J. Formal Logic 27(4), 551-555, (October 1986)