https://1library.org/document/y4w6m9m0-preserves-properties-original-soundness-completeness-decidability-conservativeness-separation.html