The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.