SMS versenden: Institution-independent Model Theory