Basic propositional calculus II: Interpolation