Pošalji zapis e-mailom: On Combining Intuitionistic and S4 Modal Logic