Kaydı eposta ile gönder: Strong normalisation for applied lambda calculi